\Slide{Adding a bug pattern}{
  To emit warnings properly, we need to define a bug pattern.\\
  ``Bug pattern'' = specific kind of bug
  \B
  \item Registered in {\tt findbugs.xml}
  \item Associated messages in {\tt messages.xml}
  \item At runtime, occurrences (warnings)
        reported via the BugReporter
  \E
}
